A Model-Theoretic View on Qualitative Constraint Reasoning
نویسندگان
چکیده
Qualitative reasoning formalisms are an active research topic in artificial intelligence. In this survey we present a model-theoretic perspective on qualitative constraint reasoning and explain some of the basic concepts and results in an accessible way. In particular, we discuss the significance of ω-categoricity for qualitative reasoning, of primitive positive interpretations for complexity analysis, and of Datalog as a unifying language for describing local consistency algorithms.
منابع مشابه
Constraint logic programming for qualitative and quantitative constraint satisfaction problems
AI and OR approaches have complementary strengths: AI in domain-specific knowledge representation and OR in efficient mathemat:ical computation. Constraint Logic Programming (CLP), which combines these complementary strengths of the AI and OR approach, is introduced as a new tool to formalize a special class of constraint satisfaction problems that include both qualitative and quantitative cons...
متن کاملSpatial-reasoning for Agents in Multiple Dimensions
Suppose a group of mobile agents situated in some Euclidean space does not have any idea on where they are exactly located within that space. However, they do have some notion about their relative positions with respect to each other. This problem may be formulated as a multi-dimensional point-based qualitative reasoning problem with disjunctive constraints. In this article we have developed a ...
متن کاملSemiring-based Constraint Logic Programming Content Areas: Constraint Satisfaction, Automated Reasoning
We extend the Constraint Logic Programming (CLP) formalism in order to handle semiring-based constraint systems. This allows us to perform in the same language both constraint solving and optimization. In fact, constraint systems based on semirings are able to model both classical constraint solving and more sophisticated features like uncertainty, probability , fuzzyness, and optimization. We ...
متن کاملOccupational Therapists\' Clinical Reasoning: A Qualitative Study
Objectives: Clinical reasoning is at the heart of clinical work; it is affected by different field factors. A clear understanding of the reasoning process could solve practitioners' problems on how to make their underlying theories, assumptions and values more explicit. The aim of this research is to understand how clinical reasoning process is formed in the context of occupational therapists w...
متن کاملA Qualitative System Theory : Introducing Global View into Qualitative Reasoning
Many of the qualitative simulation algorithms so far proposed depend upon local propagation paradigm, and hence produce spurious states . Recent approaches use topological constraints in phase space diagrams for filtering the spurious states . We propose an alternative method of recognizing global properties in the graphically expressed qualitative model. Qualitative versions of such system-the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Artif. Intell. Res.
دوره 58 شماره
صفحات -
تاریخ انتشار 2017